Skip to content

cherry-pick #7695 fix(framework): case-insensitive when getting projects with keyword#7697

Merged
abeizn merged 1 commit into
release-v1.0from
release-v1.0-auto-cherry-pick-7695
Jul 4, 2024
Merged

cherry-pick #7695 fix(framework): case-insensitive when getting projects with keyword#7697
abeizn merged 1 commit into
release-v1.0from
release-v1.0-auto-cherry-pick-7695

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

@github-actions github-actions Bot commented Jul 4, 2024

cherry-pick #7695 fix(framework): case-insensitive when getting projects with keyword

@dosubot dosubot Bot added the size:XS This PR changes 0-9 lines, ignoring generated files. label Jul 4, 2024
@github-actions
Copy link
Copy Markdown
Contributor Author

github-actions Bot commented Jul 4, 2024

🤖 this a auto create pr!cherry picked from #7695.

@abeizn abeizn merged commit ca7619d into release-v1.0 Jul 4, 2024
@abeizn abeizn deleted the release-v1.0-auto-cherry-pick-7695 branch July 4, 2024 10:07
@dosubot dosubot Bot added cherrypick This PR is cherry-picked from another branch component/framework This issue or PR relates to the framework pr-type/bug-fix This PR fixes a bug labels Jul 4, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bot/auto-cherry-pick auto cherry pick pr bot/auto-cherry-pick-for-release-v1.0 cherrypick This PR is cherry-picked from another branch component/framework This issue or PR relates to the framework pr-type/bug-fix This PR fixes a bug size:XS This PR changes 0-9 lines, ignoring generated files.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants